On epistemic logic with justification
نویسندگان
چکیده
The true belief components of Plato’s tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato’s definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator 2F (F is known), contains assertions t:F (t is a justification for F ). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F . Completeness and some new specific properties of basic systems of epistemic logic with justification are established.
منابع مشابه
Why Do We Need Justification Logic?
In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn’ scenario in modal epistemic logic and Justification Logic and show here that the latter provid...
متن کاملJustification Logic
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to ...
متن کاملBasic systems of epistemic logic with justification
An issue of an epistemic logic with justification has been discussed since the early 1990s. Such a logic, along with the usual knowledge operator 2F (F is known), should contain assertions t:F (t is a justification for F ), which gives a more nuanced and realistic model of knowledge. In this paper, we build two systems of epistemic logic with justification: the minimal one—S4LP—which is an exte...
متن کاملTR-2008014: Why Do We Need Justification Logic?
In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn’ scenario in modal epistemic logic and Justification Logic and show here that the latter provid...
متن کاملTR-2007025: Public Communication in Justification Logic
Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...
متن کامل